- forward deduction system
- 正向演绎系统
English-Chinese computer dictionary (英汉计算机词汇大词典). 2013.
forward deduction system
Look at other dictionaries:
Expert system — In artificial intelligence, an expert system is a computer system that emulates the decision making ability of a human expert.[1] Expert systems are designed to solve complex problems by reasoning about knowledge, like an expert, and not by… … Wikipedia
Additional Member System — Part of the Politics series Electoral methods Single winner … Wikipedia
Metamath — Developer(s) Norman Megill Written in C Operating system … Wikipedia
Hindley–Milner — In type theory, Hindley–Milner (HM) (also known as Damas–Milner or Damas–Hindley–Milner) is a classical type inference method with parametric polymorphism for the lambda calculus, first described by J. Roger Hindley[1] and later rediscovered by… … Wikipedia
United Kingdom corporation tax — Throughout this article, the unqualified term pound and the £ symbol refer to the United Kingdom pound. Taxation in the United Kingdom This article is part of the series: Politics and government of the United Kingdom Central government … Wikipedia
cosmos — /koz meuhs, mohs/, n., pl. cosmos, cosmoses for 2, 4. 1. the world or universe regarded as an orderly, harmonious system. 2. a complete, orderly, harmonious system. 3. order; harmony. 4. any composite plant of the genus Cosmos, of tropical… … Universalium
Idealism (italian) and after — Italian idealism and after Gentile, Croce and others Giacomo Rinaldi INTRODUCTION The history of twentieth century Italian philosophy is strongly influenced both by the peculiar character of its evolution in the preceding century and by… … History of philosophy
Alternative Minimum Tax — (AMT) is part of the Federal income tax system of the United States. There is an AMT for those who owe personal income tax, and another for corporations owing corporate income tax. Only the AMT for those owing personal income tax is described… … Wikipedia
Critique of Pure Reason — Part of a series on Immanuel … Wikipedia
metaphysics — /met euh fiz iks/, n. (used with a sing. v.) 1. the branch of philosophy that treats of first principles, includes ontology and cosmology, and is intimately connected with epistemology. 2. philosophy, esp. in its more abstruse branches. 3. the… … Universalium
Artificial intelligence — AI redirects here. For other uses, see Ai. For other uses, see Artificial intelligence (disambiguation). TOPIO, a humanoid robot, played table tennis at Tokyo International Robot Exhibition (IREX) 2009.[1] Artificial intelligence ( … Wikipedia
